Logic for Computable Functions - PDFSEARCH.IO - Document Search Engine

Logic for Computable Functions
Results: 37

#	Item
21	LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Logic in computer science Automated theorem proving Formal methods Lambda calculus Proof assistant Isabelle Logic for Computable Functions HOL First-order logic Theoretical computer science Mathematics Mathematical logic
22	Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers Lawrence C. Paulson Computer Laboratory University of Cambridge, U.K. Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-12-06 04:58:13 Logic in computer science Automated theorem proving Formal methods Isabelle Proof assistant Automated reasoning Logic for Computable Functions E theorem prover Mathematical proof Theoretical computer science Applied mathematics Mathematics
23	From LCF to HOL: a short history Mike Gordon1 1 Introduction Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2002-06-19 04:39:27 Mathematical logic Automated theorem proving Formal methods Fellows of the Royal Society Logic for Computable Functions HOL Isabelle Proof assistant Robin Milner Theoretical computer science Logic in computer science Mathematics
24	ProofPower DESCRIPTION PPTex-2.9.1w2.rda[removed]c : Lemma 1 Ltd. 2006 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:49 Logic in computer science HOL Logic for Computable Functions Lexical analysis Michael J. C. Gordon ML Inform D Higher-order logic Software engineering Computing Computer programming
25	“Types are the leaven of computer programming: they make it digestible.” - R. Milner Types à la Milner Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-04-17 18:53:47 Functional languages Procedural programming languages Type theory ML Logic in computer science Robin Milner Logic for Computable Functions Type inference Pict Software engineering Programming language theory Computing
26	ProofPower TUTORIAL PPTex-2.9.1w2.rda[removed]c : Lemma 1 Ltd. 2006 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:49 Functional languages Logic in computer science Online help Technical communication ML HOL Tutorial Logic for Computable Functions Unix Software Computing Procedural programming languages
27	HOL Formalised: Proof Development System R.D. Arthan Lemma 1 Ltd. [removed] 25 October 1993 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-02-14 05:58:41 Logic in computer science Formal systems Logical syntax Philosophical logic Formal methods HOL Axiom Logic for Computable Functions Theory Logic Mathematics Mathematical logic
28	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Functional languages Procedural programming languages Logic in computer science Isabelle ML OCaml Lawrence Paulson Logic for Computable Functions Programming language Software engineering Computing Computer programming
29	ProofPower HOL REFERENCE MANUAL PPTex-2.9.1w2.rda[removed]c : Lemma 1 Ltd. 2006 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:51 Logic Mathematical logic Model theory HOL Higher-order logic Theory Logic for Computable Functions Logic in computer science Theoretical computer science Concepts
30	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 JEdit Proof assistant Isabelle Plug-in Lawrence Paulson R HOL Logic for Computable Functions Software Computing Logic in computer science